<html>
<body>
将对象类型的类型别名转换为同名的接口。
</body>
</html>